#ifndef __DOOR_H
#define __DOOR_H
extern int drprintf(const char *format, ...);
extern char drgetc();
extern int read_int(void);
#endif
